verification condition перевод
- верифицирующее условие (в технике доказательства правильности программ)
- verification: 1) контроль, осуществление контроля; проверка Ex: subject to verification подлежащий контролю Ex: national technical means of verification национальные технические средства контроля Ex: to impede ve
- condition: 1) состояние, положение; Ex: condition of the track _спорт. состояние дорожки; Ex: in good condition годный к употреблению (о пище) Ex: to be in condition быть в хорошем состоянии; Ex: the house is
- verification condition generation: генерирование условий верификации (при доказательстве правильностипрограмм)
- a-condition: тлг. состояние "А" (о готовности к приему кодового элемента)
- as-is condition: на условии "как есть" (покупка собственности в состоянии на момент совершения сделки)
- condition to: приспосабливать A child born in the far north is soon conditioned to thelong cold dark winters. ≈ Человек, родившийся на крайнем Севере, быстропривыкает к долгим и темным полярным зимам.
- in condition: 1) в состоянии что-л. сделать, обладающий способностью (возможностью)что-л. сделать 2) в хорошем состоянии, неиспорченный, целый
- on condition: при условииON conditionоткрытое [отпертое] состояние; состояние "включено"
- on condition that: при условии если при условии, что
- on the condition: при условии
- base of verification: контрольная база (триангуляционной сети)
- bureau of verification: поверочная лаборатория
- busy verification: проверка занятости (линии связи)
- circular verification: контроль по окружности (напр. при проверке плоскостности)
- compatibility verification: косм. проверка совместимости
Мобильная